-
Notifications
You must be signed in to change notification settings - Fork 696
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Avoid double space in "Executing install plan ..." #9376
Avoid double space in "Executing install plan ..." #9376
Conversation
I'm not sure how to test this since the output is outside a |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Actually it does modify cabal
behaviour.
It absolutely does. |
Given the choice between the two pull request templates, deduplicating whitespace seemed to me to be closer to the no change end of the spectrum. |
It is nevertheless user-visible behavior, and may be relied upon by e.g. test suites which compare output. |
@philderbeast just to be clear, no one tries to put blame on you for choosing the wrong template. The blame is all on us who phrased the templates in the current form, which, as you mention, opens the door for interpretations. We'd welcome patches improving the templates. I currently don't have a good idea how to improve them. |
I've added a changelog entry. |
@ulysses4ever I hope that is OK to add the "merge+no rebase" label now myself. |
@philderbeast I think so, yes. Thank you! |
This PR does not modify
cabal
behaviour1Include the following checklist in your PR:
Scratch that. This PR modifies
cabal
behaviour.Bonus points for added automated tests!
Footnotes
A double space in a message is reduced to a single space: ↩